非解析定理求解non: adv. 〔拉丁语〕非,不是 (=not)。 non a ...resolution: n. 1.决心,果断;坚定,刚毅。 2.(议会等的)决定 ...theorem: n. 1.(能证明的)一般原理,公理,定律,法则。 2. ...prove: vt. ( -d; -d, 〔古、美〕 proven ) ...resolution theorem proving: 归结定理证明消解式定理证明下载手机词典可随时随地查词查翻译